]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2036e4c) | patch
panel: Hide app menu when disabled by settings
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 10 Mar 2015 14:33:50 +0000 (15:33 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 5 Oct 2015 12:08:20 +0000 (14:08 +0200)
commit36ee4e6c3b8490e41c5665deceac649d810d28ce
tree2ebcf59a8a9d84e81aabeaf6e1873333e11554f8tree | snapshot
parent2036e4c85c61bb8790bb88f0a9099dd6777acd52commit | diff
panel: Hide app menu when disabled by settings

While the GtkSettings::gtk-shell-shows-app-menu property is meant to
reflect a desktop capability (i.e. in the GNOME case: the app menu is
shown in the top bar), it is possible for users to overwrite it.
Respect the setting and actually hide the menu in that case.

https://bugzilla.gnome.org/show_bug.cgi?id=745919
js/ui/panel.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.